Portable C Compiler - PDFSEARCH.IO - Document Search Engine

Portable C Compiler
Results: 18

#	Item
11	A portable compiler-integrated approach to permanent checking Nic Volanschi ([removed]) mygcc Abstract. Program checking is now a mature technology, but is not yet used on a large scale. We identify one cause Add to Reading List Source URL: mygcc.free.fr Language: English - Date: 2007-11-27 16:18:13 Compiler construction Procedural programming languages Compiler Programming language implementation Parsing C Pattern matching Model checking GNU Compiler Collection Computing Software engineering Computer programming
12	A Portable Compiler-Integrated Approach to Permanent Checking Nic Volanschi mygcc [removed] Abstract Add to Reading List Source URL: mygcc.free.fr Language: English - Date: 2006-10-04 13:36:51 Cross-platform software Procedural programming languages Compilers GNU Compiler Collection C Pattern matching Model checking Lint Ada Computing Software engineering Computer programming
13	Bringing PCC into The 21th century Anders Magnusson October 11, 2008 About PCC Add to Reading List Source URL: www.nycbsdcon.org Language: English - Date: 2008-10-23 14:10:01 Programming language implementation Procedural programming languages Compilers Portable C Compiler Compiler GNU Compiler Collection Parsing Code generation C Software Computing Compiler construction
14	Tangram: a High-level Language for Performance Portable Code Synthesis Li-Wen Chang, Abdul Dakkak, Christopher I. Rodrigues, and Wen-mei Hwu University of Illinois, Urbana, IL USA Abstract. We propose Tangram, a general Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2015-01-12 08:06:50 Compiler optimizations Cross-platform software Procedural programming languages Parallel computing Application programming interfaces OpenCL Vectorization C++ Tangram Computing Software engineering Computer programming
15	Compiler Technology for Portable Checkpoints Volker Strumpen Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA[removed]removed] Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Memory management Data types Primitive types Pointer Software bugs Application checkpointing Call stack Stack C Computing Software engineering Computer programming
16	Orna Agmon [removed] Portable Programming Orna Agmon Add to Reading List Source URL: ladypine.org Language: English - Date: 2008-11-23 15:45:19 Compilers Computing platforms Porting Source code GNU Compiler Collection C Software portability Linux Unix Software Computing Cross-platform software
17	A Portable Fortran 77 Compiler S. I. Feldman P. J. Weinberger Bell Laboratories Murray Hill, New Jersey 07974 Add to Reading List Source URL: wolfram.schneider.org Language: English - Date: 2012-01-08 15:19:27 Procedural programming languages Fortran C Ratfor ALGOL 68 MAD Parameter Boolean data type Subroutine Computing Software engineering Computer programming
18	Bringing PCC into The 21th century Anders Magnusson October 11, 2008 About PCC Add to Reading List Source URL: www.openbsd.org Language: English - Date: 2008-11-13 18:29:57 Programming language implementation Procedural programming languages Compilers Portable C Compiler Compiler GNU Compiler Collection Parsing Code generation C Software Computing Compiler construction

UPDATE